]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a27009f) | patch
theme/search-entry: Tweak the margins a bit
authorJonas Dreßler <verdre@v0yd.nl>
Mon, 22 Feb 2021 11:46:42 +0000 (12:46 +0100)
committerMarge Bot <marge-bot@gnome.org>
Wed, 3 Mar 2021 12:08:58 +0000 (12:08 +0000)
commitdf9129b2a0fed90cd1e2474000da161146194a19
tree44221e5d6a69be0c5963916b5174b696fce0358dtree | snapshot
parenta27009f9269e2b7d883f09571f663139eebaaf11commit | diff
theme/search-entry: Tweak the margins a bit

Use a bit less margin at the top and add some margin at the bottom of
the search entry. This should ensure the search entry is closer to the
panel than to the workspaces and avoid associating the workspace
thumbnails with the search instead of the window picker.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>
data/theme/gnome-shell-sass/widgets/_search-entry.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.